TSTP Solution File: ANA076^1 by SInE---0.4